Bernhard Aichernig: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (63)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Survey on test data generation tools

Galler, Stefan J., Aichernig, Bernhard K.

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2014

Мова:

english

Файл:

PDF, 986 KB

english, 2014

Connectors as designs: Modeling, refinement and test case generation

Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lăcrămioara Aştefănoaei, Frank S. de Boer, Jan Rutten

Журнал:

Science of Computer Programming

Рік:

2012

Мова:

english

Файл:

PDF, 434 KB

english, 2012

[IEEE 2014 14th International Conference on Quality Software (QSIC) - Allen, TX, USA (2014.10.2-2014.10.3)] 2014 14th International Conference on Quality Software - Integration of Requirements Engineering and Test-Case Generation via OSLC

Aichernig, Bernhard K., Hormaier, Klaus, Lorber, Florian, Nickovic, Dejan, Schlick, Rupert, Simoneau, Didier, Tiran, Stefan

Рік:

2014

Мова:

english

Файл:

PDF, 1.04 MB

english, 2014

Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation

Aichernig, Bernhard K., Jöbstl, Elisabeth, Tappler, Martin

Журнал:

Journal of Logical and Algebraic Methods in Programming

Рік:

2016

Мова:

english

Файл:

PDF, 1.99 MB

english, 2016

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Towards integrating statistical model checking into property-based testing

Aichernig, Bernhard K., Schumi, Richard

Рік:

2016

Мова:

english

Файл:

PDF, 298 KB

english, 2016

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers

Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 306 KB

english, 2007

Test Case Generation by Contract Mutation in Spec#

Willibald Krenn, Bernhard K. Aichernig

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 307 KB

english, 2009

A Coalgebraic Semantic Framework for Component-based Development in UML

Sun Meng, Bernhard K. Aichernig, Luís S. Barbosa, Zhang Naixiao

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 326 KB

english, 2005

When Model-based Testing Fails

Bernhard K. Aichernig, Chris George

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 291 KB

english, 2006

Improving Fault-based Conformance Testing

Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 441 KB

english, 2008

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 326 KB

english, 2009

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Bernhard K. Aichernig, Harald Brandl, Franz Wotawa

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 611 KB

english, 2009

Resource Modeling for Timed Creol Models

Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer, Marcel Kyas

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2010

Мова:

english

Файл:

PDF, 283 KB

english, 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfg

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2010

Мова:

english

Файл:

PDF, 325 KB

english, 2010

Contract-based Mutation Testing in the Refinement Calculus

Bernhard K. Aichernig

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2002

Мова:

english

Файл:

PDF, 41 KB

english, 2002

Mutation Testing in the Refinement Calculus

Bernhard K. Aichernig

Журнал:

Formal Aspects of Computing

Рік:

2003

Мова:

english

Файл:

PDF, 171 KB

english, 2003

Mutation testing in UTP

Bernhard K. Aichernig, He Jifeng

Журнал:

Formal Aspects of Computing

Рік:

2009

Мова:

english

Файл:

PDF, 561 KB

english, 2009

Software engineering and formal methods

Bernhard Aichernig, Bernhard Beckert

Журнал:

Software & Systems Modeling

Рік:

2008

Мова:

english

Файл:

PDF, 66 KB

english, 2008

Refinement and Test Case Generation in UTP

Bernhard K. Aichernig, Jifeng He

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 333 KB

english, 2007

Preface

Bernhard Aichernig, Eerke Boiten, John Derrick, Lindsay Groves

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 73 KB

english, 2007

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Automated Verification of Executable UML Models

Aichernig, Bernhard K., Boer, Frank S., Bonsangue, Marcello M.

Рік:

2012

Мова:

english

Файл:

PDF, 545 KB

english, 2012

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Verification by Abstraction

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 213 KB

english, 2003

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Towards the Verifying Compiler

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 120 KB

english, 2003

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Integrating Model-Based Testing and Analysis Tools via Test Case Exchange

Aichernig, Bernhard K., Lorber, Florian, Tiran, Stefan

Рік:

2012

Мова:

english

Файл:

PDF, 440 KB

english, 2012

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Aichernig, Bernhard K., Peischl, Bernhard, Weiglhofer, Martin, Wotawa, Franz

Рік:

2007

Мова:

english

Файл:

PDF, 456 KB

english, 2007

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Jöbstl, Elisabeth, Weiglhofer, Martin, Aichernig, Bernhard K., Wotawa, Franz

Рік:

2010

Мова:

english

Файл:

PDF, 477 KB

english, 2010

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

Aichernig, Bernhard K., Jobstl, Elisabeth

Рік:

2012

Мова:

english

Файл:

PDF, 191 KB

english, 2012

[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Automated Conformance Verification of Hybrid Systems

Brandl, Harald, Weiglhofer, Martin, Aichernig, Bernhard K.

Рік:

2010

Мова:

english

Файл:

PDF, 423 KB

english, 2010

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Generating Distinguishing Tests Using the Minion Constraint Solver

Wotawa, Franz, Nica, Mihai, Aichernig, Bernhard K.

Рік:

2010

Мова:

english

Файл:

PDF, 181 KB

english, 2010

[IEEE 2012 12th International Conference on Quality Software (QSIC 2012) - Xi'an, Shaanxi, China (2012.08.27-2012.08.29)] 2012 12th International Conference on Quality Software - Efficient Refinement Checking for Model-Based Mutation Testing

Aichernig, Bernhard K., Jobstl, Elisabeth

Рік:

2012

Мова:

english

Файл:

PDF, 239 KB

english, 2012

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Efficient Mutation Killers in Action

Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald

Рік:

2011

Мова:

english

Файл:

PDF, 446 KB

english, 2011

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Fault-Based Test Case Generation for Component Connectors

Aichernig, Bernhard K., Arbab, Farhad, Astefanoaei, Lacramioara, Boer, Frank S. de, Sun, Meng, Rutten, Jan

Рік:

2009

Мова:

english

Файл:

PDF, 354 KB

english, 2009

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6957 || Testing Real-Time Systems under Uncertainty

Aichernig, Bernhard K., de Boer, Frank S., Bonsangue, Marcello M.

Рік:

2012

Мова:

english

Файл:

PDF, 423 KB

english, 2012

UML in action

Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald

Журнал:

ACM SIGSOFT Software Engineering Notes

Рік:

2011

Мова:

english

Файл:

PDF, 643 KB

english, 2011

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Test purpose generation in an industrial application

Aichernig, Bernhard K., Weiglhofer, Martin, Peischl, Bernhard, Wotawa, Franz

Рік:

2007

Мова:

english

Файл:

PDF, 558 KB

english, 2007

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - MoMut::UML Model-Based Mutation Testing for UML

Krenn, Willibald, Schlick, Rupert, Tiran, Stefan, Aichernig, Bernhard, Jobstl, Elisabeth, Brandl, Harald

Рік:

2015

Мова:

english

Файл:

PDF, 370 KB

english, 2015

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Real-Time Systems Development with Duration Calculi: An Overview

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 248 KB

english, 2003

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Towards generation of adaptive test cases from partial models of determinized timed automata

Aichernig, Bernhard K., Lorber, Florian

Рік:

2015

Мова:

english

Файл:

PDF, 400 KB

english, 2015

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Combining Decision Procedures

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 390 KB

english, 2003

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || A Tool Architecture for the Next Generation of Uppaal

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 297 KB

english, 2003

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Real-Time Process Algebra and Its Applications

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 763 KB

english, 2003

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || A Theory of Hints in Model Checking

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 207 KB

english, 2003

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Type Systems for Concurrent Programs

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 218 KB

english, 2003

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Making Timed Automata Communicate

Aichernig, Bernhard K., Maibaum, Tom

Рік:

2003

Мова:

english

Файл:

PDF, 278 KB

english, 2003

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Aichernig, Bernhard K., Tappler, Martin

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2016

Мова:

english

Файл:

PDF, 276 KB

english, 2016

[Lecture Notes in Computer Science] Tests and Proofs Volume 9762 ||

Aichernig, Bernhard K., Furia, Carlo A.

Рік:

2016

Мова:

english

Файл:

PDF, 9.29 MB

english, 2016

[Lecture Notes in Computer Science] Tests and Proofs Volume 9762 || Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification

Aichernig, Bernhard K., Furia, Carlo A.

Рік:

2016

Мова:

english

Файл:

PDF, 337 KB

english, 2016

Killing strategies for model-based mutation testing

Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald, Schlick, Rupert, Tiran, Stefan

Журнал:

Software Testing, Verification and Reliability

Рік:

2015

Мова:

english

Файл:

PDF, 2.23 MB

english, 2015

[Lecture Notes in Computer Science] Tests and Proofs Volume 9762 || Using Formal Methods for Verification and Validation in Railway

Aichernig, Bernhard K., Furia, Carlo A.

Рік:

2016

Мова:

english

Файл:

PDF, 602 KB

english, 2016

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models

Aichernig, Bernhard K., Schumi, Richard

Рік:

2016

Мова:

english

Файл:

PDF, 586 KB

english, 2016